381. Proceedings of the seventh International Conference on Management Science and Engineering Management : focused on electrical and information technology

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Economics / Management Science,، Operation Research/Decision Theory,، Computer Engineering

رده :
HB

382. Proceedings of the third Annual ACM-SIAM Symposium on Discrete Algorithms

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer programming,Congresses ، Computer algorithms

رده :
QA
76
.
6
.
A278
1992

383. Program verification :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

رده :
QA76
.
76
.
V47
P764
2013

384. Programming Classics: implementing the world's best algorithms

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)

موضوع : Computer algorithms,Programming ( Mathematics )

رده :
005
.
1
O48p

385. Programming for computations -- Python :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer programming.,Computer science-- Mathematics.,Python (Computer program language),Computer programming.,Computer science-- Mathematics.,Python (Computer program language)

رده :
QA76
.
9
.
M35

386. Programming with Turing and Object Oriented Turing /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Computer science.

رده :
QA76
.
7-76
.
73

387. Python essential reference /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Python (Computer program language),Befehlsvorrat,Befehlsvorrat.,Python,Python (Computer program language),Python 2.4,Python 2.4.

رده :
QA76
.
73
.
P98
B43
2009

388. Python for Probability, Statistics, and Machine Learning /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Data mining.,Engineering mathematics.,Statistics.,Telecommunication.,Probabilities-- Data processing.,Python (Computer program language),Statistics-- Data processing.

رده :
QA76
.
73
.
P98
U57
2019

389. Quadratic programming: algorithms, anomalies ]and[ applications

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Programming )Mathematics(

رده :
QA
264
.
B6

390. Quadriatic programming: algorithms, anomalies, applications

پدیدآورنده :

کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)

موضوع : Programming (Mathematics)

رده :
QA
264
.
B6

391. Quasiconvex Optimization and Location Theory

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algorithms.,Computer science-- Mathematics.,Econometrics.,Information theory.,Mathematical optimization.,Mathematics.

392. Rational Drug Design

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Mathematics.,Numerical analysis.

393. Reachability problems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.

رده :
QA76
.
76
.
V47

394. Relational and algebraic methods in computer science :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.

رده :
QA76
.
9
.
M35

395. Relations and Graphs :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Logic design.,Software engineering.

رده :
QA76
.
9
.
M35
B948
1993

396. Relaxation and decomposition methods for mixed integer nonlinear programming /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Integer programming.,Nonconvex programming.,Nonlinear programming.

397. Scientific Computation with Automatic Result Verification

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Mathematics.,Microprogramming.

398. Scientific computing.

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Approximation theory.,Approximation theory.,Differential calculus & equations.,Mathematics-- Applied.,Mathematics-- Counting & Numeration.,Mathematics-- Differential Equations.,Numerical analysis.,Optimization.

رده :
QA221

399. Selected Topics in Operations Research and Mathematical Economics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Economics.

رده :
T57
.
6
.
A1
E358
1984

400. Selected papers of Alan Hoffman with commentary /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Combinatorial analysis.,Programming (Mathematics),Combinatorial analysis.,MATHEMATICS-- Combinatorics.,Programming (Mathematics)

رده :
QA164
.
H64
2003eb